difference between kernel and operating system